An effective one-step hyperperpetual reduction strategy for combinators

نویسندگان

  • Richard Statman
  • Rick Statman
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Combinators Introduction: An Algorithm

The accurate use of combinatory logic and combinators in natural language processing needs a strategy for the removal of combinators, but also for their introduction. The tour of scientific literature teaches us how to reduce combinators and construct from a combinatory expression a normal form without combinators, however no strategy has been proposed to automate the introduction of combinator...

متن کامل

Combinators Introduction : n Algorithm A

The accurate use of combinatory logic and combinators in natural language processing needs a strategy for the removal of combinators, but also for their introduction. The tour of scientific literature teaches us how to reduce combinators and construct from a combinatory expression a normal form without combinators, however no strategy has been proposed to automate the introduction of combinator...

متن کامل

One –step synthesis of PdCo alloy nanoparticles decorated on reduced grahene oxide as an Electro-catalyst for Oxygen Reduction Reaction in Passive Direct Methanol Fuel Cells

We report a Pd-Co (3:1)/graphene oxide (Pd3Co /GO) catalyst through a one-step strategy. GO is synthesized from graphite electrodes using ionic liquid-assisted electrochemical exfoliation. Controllable GO-supported Pd3Co electrocatalystis then was reduced by ethylene glycol as a stabilizing agent to prepare highly dispersed PdCo nanoparticles on carbon graphene oxide to be used as oxygen reduct...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015